$\forall$$g$:OGrp. ($g$$\downarrow$hgrp) $\in$ GrpSig